Diclib.com
Woordenboek ChatGPT

Woordenboek opzoeken Oplossingen op maat

Voer een woord of zin in in een taal naar keuze 👆

Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

hoe het woord wordt gebruikt
gebruiksfrequentie
het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
opties voor woordvertaling
Gebruiksvoorbeelden (meerdere zinnen met vertaling)
etymologie

linear resolution - vertaling naar russisch

THEOREM PROVER, A MATHEMATICAL CONCEPT

Delayed clause construction; Semi-linear resolution; Delayed Clause Construction; Semi-Linear Resolution; Carine theorem prover

linear resolution

математика

линейная резолюция

hi-res

MEASURE OF HOW FINE AN IMAGE IS

Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm

Смотрите также

high-resolution

high-rez

MEASURE OF HOW FINE AN IMAGE IS

Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm

общая лексика

спец

технически грамотный (разумный) человек, который, в отличие от low-rez персоны, не сторонится новых технологий, но и не полагается на них полностью

Смотрите также

high resolution

Definitie

linear map

<mathematics> (Or "linear transformation") A function from a vector space to a vector space which respects the additive and multiplicative structures of the two: that is, for any two vectors, u, v, in the source vector space and any scalar, k, in the field over which it is a vector space, a linear map f satisfies f(u+kv) = f(u) + kf(v). (1996-09-30)

Toon meer definities

Wikipedia

CARINE

CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.

https://en.wikipedia.org/wiki/CARINE

Vertaling van &#39linear resolution&#39 naar Russisch